| Разработчики: | Microsoft |
| Дата премьеры системы: | январь 2020 г |
| Отрасли: | Информационные технологии |
| Технологии: | Средства разработки приложений |
Содержание |
Основные статьи:
- Логическое программирование
- Доказательное программирование
- Методология программирования
- Технология программирования
- Программист
Project Verona — разработанный Microsoft язык программирования, основанный на Rust. Он предназначен для создания приложений, не подверженных наиболее распространенным уязвимостям и проблемам безопасности.Как защищать «поумневшие» промышленные сети: «Синоникс» на страже безопасного объединения изолированных сетей 
Безопасность кода повышается за счёт автоматического управления памятью, которое избавит разработчиков от необходимости манипулирования указателями и защитит от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей и выход за границы буфера. Отличие языка от Rust заключается в применении концепции владения не единичными объектами, а группами объектов.
2020: Раскрытие исходных кодов
В январе 2020 года Microsoft раскрыла исходные коды языка программирования Project Verona. Они выложены на портале GitHub.
На странице репозитория указано, что Project Verona не является готовым продуктом, а также не имеет отношения к продолжающемуся использованию Microsoft языков C ++, C # и Rust.
Языки C и C++ в течение десятилетий повсеместно используются в качестве инструмента разработки системного ПО и возлагают на программиста задачу управления оперативной памятью, что неизбежно приводит к возникновению ошибок, таких как обращение к участку памяти после его освобождения или, например, выход за границы буфера. По словам Мэтта Миллера (Matt Miller), специалиста Microsoft по безопасности, около 70% всех уязвимостей, обнаруженных в программных продуктах корпорации за последние 12 лет, связанны с ошибками управления памятью.
Project Verona предлагает готовую исполняемую среду, а также интерпретатор и средство контроля типов.
В Microsoft подчеркивают, что ранее при написании системного программного обеспечения широко использовались языки C и C++, изначально не предназначавшиеся именно для безопасного программирования.[1][2]
Языки программирования
Примечания
| 01.12.23 | Python |
| 01.09.23 | Rust (язык программирования) |
| 01.08.23 | Java |
| 06.07.23 | Perl |
| 28.12.22 | Ruby |
| 26.07.22 | Google Carbon |
| 30.03.22 | Lua Скриптовый язык программирования |
| 10.09.20 | C++ |
| 28.10.19 | PHP |
| 08.05.19 | JetBrains Kotlin |
| 19.04.19 | Bosque (язык программирования) |
| 12.10.18 | CRN++ (язык программирования) |
| 27.03.15 | Google Dart |
| 03.09.13 | Go (Golang) |
| 20.01.11 | COBOL |
| 20.01.11 | C Язык программирования |
| JavaScript |
Подрядчики-лидеры по количеству проектов
Солар (ранее Ростелеком-Солар) (44) Финансовые Информационные Системы (ФИС, FIS, Финсофт) (15) Форсайт (11) Бипиум (Bpium) (10) Синимекс (Cinimex) (9) Другие (373) Солар (ранее Ростелеком-Солар) (8) Финансовые Информационные Системы (ФИС, FIS, Финсофт) (4) Консом групп, Konsom Group (КонсОМ СКС) (2) IFellow (АйФэлл) (2) ЛАНИТ - Би Пи Эм (Lanit BPM) (2) Другие (30) Солар (ранее Ростелеком-Солар) (10) Форсайт (3) Banks Soft Systems, BSS (Бэнкс Софт Системс, БСС) (3) КРИТ (KRIT) (2) Cloud.ru (Облачные технологии) ранее SberCloud (2) Другие (13)Распределение вендоров по количеству проектов внедрений (систем, проектов) с учётом партнёров
Microsoft (41, 47) Солар (ранее Ростелеком-Солар) (2, 46) Oracle (49, 26) Hyperledger (Open Ledger Project) (1, 23) IBM (33, 18) Другие (556, 278) Солар (ранее Ростелеком-Солар) (1, 8) Финансовые Информационные Системы (ФИС, FIS, Финсофт) (1, 4) Microsoft (4, 3) Oracle (2, 3) SAP SE (2, 2) Другие (16, 19) Солар (ранее Ростелеком-Солар) (1, 11) Banks Soft Systems, BSS (Бэнкс Софт Системс, БСС) (1, 3) Форсайт (1, 3) Cloud.ru (Облачные технологии) ранее SberCloud (1, 2) Сбербанк (1, 2) Другие (9, 9) Unlimited Production (Анлимитед Продакшен) (1, 6) Солар (ранее Ростелеком-Солар) (1, 6) Мобильные ТелеСистемы (МТС) (1, 4) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 4) Форсайт (1, 3) Другие (10, 18) Мобильные ТелеСистемы (МТС) (2, 2) T1 Digital (Т1 Диджитал) (1, 1) МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 1) Т1 (1, 1) Солар (ранее Ростелеком-Солар) (1, 1) Другие (1, 1)Распределение систем по количеству проектов, не включая партнерские решения
Solar appScreener (ранее Solar inCode) - 46 Hyperledger Fabric - 23 Windows Azure - 20 FIS Platform - 15 Форсайт. Мобильная платформа (ранее HyperHive) - 12 Другие 307 Solar appScreener (ранее Solar inCode) - 8 FIS Platform - 4 Java - 2 Турбо X - 2 Парадокс: MES Builder - 2 Другие 22 Solar appScreener (ранее Solar inCode) - 11 Форсайт. Мобильная платформа (ранее HyperHive) - 3 BSS Digital2Go - 3 Cloud ML Space - 2 Yandex Vision - 1 Другие 8 
